home *** CD-ROM | disk | FTP | other *** search
/ SGI Developer Toolbox 6.1 / SGI Developer Toolbox 6.1 - Disc 4.iso / src / tutorials / geometer / Theorems / theorems / threecirc.T < prev    next >
Encoding:
Text File  |  1994-08-02  |  993 b   |  28 lines
  1. .geometry "version 0.1";
  2. v1 = .free(-0.326949, 0.138167, "C1");
  3. v2 = .free(-0.266758, 0.075239, "R1");
  4. v3 = .free(-0.20383, -0.354309, "C2");
  5. v4 = .free(-0.056088, -0.316005, "R2");
  6. v5 = .free(0.253078, 0.091655, "C3");
  7. v6 = .free(0.370725, -0.212038, "R3");
  8. c1 = .c.vv(v5, v6);
  9. c2 = .c.vv(v3, v4);
  10. c3 = .c.vv(v1, v2);
  11. l1 = .l.ccext(c3, c1, 1, .longline);
  12. l2 = .l.ccext(c1, c2, 1, .longline);
  13. l3 = .l.ccext(c2, c3, 1, .longline);
  14. l4 = .l.ccext(c3, c1, 2, .longline);
  15. l5 = .l.ccext(c1, c2, 2, .longline);
  16. l6 = .l.ccext(c2, c3, 2, .longline);
  17. v7 = .v.ll(l6, l3, "P12");
  18. v8 = .v.ll(l4, l1, "P13");
  19. v9 = .v.ll(l5, l2, "P23");
  20. l7 = .l.vv(v7, v8, .red);
  21. l8 = .l.vv(v8, v9, .red);
  22. l9 = .l.vv(v9, v7, .red);
  23. .text("Given any three circles in a plane, construct the exterior");
  24. .text("tangent lines for every pair.  The intersections of those");
  25. .text("pairs of tangent lines all meet in a line.  You can move");
  26. .text("C1, R1, C2, R2, C3, and R3 to try different combinations of");
  27. .text("circles.");
  28.